A Programming Language for the Interval Geometric Machine
نویسندگان
چکیده
منابع مشابه
A Programming Language for the Interval Geometric Machine
This paper presents an interval version of the Geometric Machine Model (GMM) and the programming language induced by its structure. The GMM is an abstract machine model, based on Girard’s coherence space, capable of modelling sequential, alternative, parallel (synchronous) and non-deterministic computations on a (possibly infinite) shared memory. The processes of the GMM are inductively constru...
متن کاملThe Interval Geometric Machine.∗
The Geometric Machine model (GM) is introduced in [4, 3] to allow the construction and the representation of concurrent and nondeterministic computations, performed in a synchronized way by multiple processes operating on array structures. That means, a mathematical model to represent the real-time behavior of processes. We take use of the advantages of coherence spaces [2] to obtain the domain...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Programming in the Geometric Machine
This paper presents the programming language induced by the ordered structure of the Geometric Machine Model (GMM). The GMM is an abstract machine model, based on Girard’s coherence space, capable of modelling sequential, alternative, parallel (synchronous) and non-deterministic computations on a (possibly infinite) shared memory. The processes of the GMM are inductively constructed in a Cohere...
متن کاملSpecifying the geometric machine visual language
This paper summarizes an experiment in the formal specification of the visual language for the Geometric Machine model [3], denoted by GMVL. The specification follows the approach proposed in the GENGED project, of the T. U. Berlin [1]. In the GMLV, supported by a visual alphabet and a visual grammar, a process constructor is represented by a graph transformation related to a rule application i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80852-1